4*(x=1)+5*(x=2)+7*(x=3)+6*(x=4)+5*(x=5)+(x=6)+3*(x=7)+2*(x=8)+2*(x=9)+3*(x=10)+(x=11)+4*(x=12)+5*(x=13)+4*(x=14)+6*(x=15)+5*(x=16)+7*(x=17)+7*(x=18)+2*(x=19)+7*(x=20)